Font magnification

Remark FMi (91/01/16):     If it is possible, you should use cmr17 at 20pt instead of cmr10 at 20pt since cmr17 was designed for a size (17pt) which is closer to the desired size (20pt). Even better: generate and distribute fonts designed for 20pt using, for example, the Sauter programs.